不定长类型
大部分类型有一个特定的大小,以字节为单位,它们在编译时是已知的。例如,一个i32
是 32 位大,或者 4 个字节。然而,有些类型有益于表达,却没有一个定义的大小。它们叫做“不定长”或者“动态大小”类型。一个例子是[T]
。这个类型代表一个特定数量t
的序列。不过我们并不知道有多少,所以大小是未知的。
Rust 知道几个这样的类型,不过它们有一些限制。这有三个:
或者
相反,你将不得不这么写:
如果你想要写一个接受动态大小类型的函数,你可以使用这个特殊的 bound 语法,?Sized
:
这个?Sized
,读作“T
可能是Sized
的”,允许我们匹配固定长度和不定长度的类型。所有泛型类型参数隐式包含Sized
bound,所以可以被用来移除这个隐式 bound。